// Generated from mccproperty.g by ANTLR 4.0
package parser;

import org.antlr.v4.runtime.ParserRuleContext;
import org.antlr.v4.runtime.Token;
import org.antlr.v4.runtime.tree.TerminalNode;
import org.antlr.v4.runtime.tree.ErrorNode;

public class mccpropertyBaseListener implements mccpropertyListener {
	@Override public void enterComparer(mccpropertyParser.ComparerContext ctx) { }
	@Override public void exitComparer(mccpropertyParser.ComparerContext ctx) { }

	@Override public void enterSimple_formula(mccpropertyParser.Simple_formulaContext ctx) { }
	@Override public void exitSimple_formula(mccpropertyParser.Simple_formulaContext ctx) { }

	@Override public void enterXor(mccpropertyParser.XorContext ctx) { }
	@Override public void exitXor(mccpropertyParser.XorContext ctx) { }

	@Override public void enterComplex_expression(mccpropertyParser.Complex_expressionContext ctx) { }
	@Override public void exitComplex_expression(mccpropertyParser.Complex_expressionContext ctx) { }

	@Override public void enterInteger(mccpropertyParser.IntegerContext ctx) { }
	@Override public void exitInteger(mccpropertyParser.IntegerContext ctx) { }

	@Override public void enterProperty_set(mccpropertyParser.Property_setContext ctx) { }
	@Override public void exitProperty_set(mccpropertyParser.Property_setContext ctx) { }

	@Override public void enterAnonymous_bindings(mccpropertyParser.Anonymous_bindingsContext ctx) { }
	@Override public void exitAnonymous_bindings(mccpropertyParser.Anonymous_bindingsContext ctx) { }

	@Override public void enterProperty(mccpropertyParser.PropertyContext ctx) { }
	@Override public void exitProperty(mccpropertyParser.PropertyContext ctx) { }

	@Override public void enterMop(mccpropertyParser.MopContext ctx) { }
	@Override public void exitMop(mccpropertyParser.MopContext ctx) { }

	@Override public void enterUntils(mccpropertyParser.UntilsContext ctx) { }
	@Override public void exitUntils(mccpropertyParser.UntilsContext ctx) { }

	@Override public void enterIfs(mccpropertyParser.IfsContext ctx) { }
	@Override public void exitIfs(mccpropertyParser.IfsContext ctx) { }

	@Override public void enterSpace(mccpropertyParser.SpaceContext ctx) { }
	@Override public void exitSpace(mccpropertyParser.SpaceContext ctx) { }

	@Override public void enterSimple_formula_liveness(mccpropertyParser.Simple_formula_livenessContext ctx) { }
	@Override public void exitSimple_formula_liveness(mccpropertyParser.Simple_formula_livenessContext ctx) { }

	@Override public void enterOperator(mccpropertyParser.OperatorContext ctx) { }
	@Override public void exitOperator(mccpropertyParser.OperatorContext ctx) { }

	@Override public void enterNot(mccpropertyParser.NotContext ctx) { }
	@Override public void exitNot(mccpropertyParser.NotContext ctx) { }

	@Override public void enterAlgebra_operatorm(mccpropertyParser.Algebra_operatormContext ctx) { }
	@Override public void exitAlgebra_operatorm(mccpropertyParser.Algebra_operatormContext ctx) { }

	@Override public void enterSimple_expression(mccpropertyParser.Simple_expressionContext ctx) { }
	@Override public void exitSimple_expression(mccpropertyParser.Simple_expressionContext ctx) { }

	@Override public void enterComplex_formula(mccpropertyParser.Complex_formulaContext ctx) { }
	@Override public void exitComplex_formula(mccpropertyParser.Complex_formulaContext ctx) { }

	@Override public void enterSimple_formula_next(mccpropertyParser.Simple_formula_nextContext ctx) { }
	@Override public void exitSimple_formula_next(mccpropertyParser.Simple_formula_nextContext ctx) { }

	@Override public void enterAlgebra_operator(mccpropertyParser.Algebra_operatorContext ctx) { }
	@Override public void exitAlgebra_operator(mccpropertyParser.Algebra_operatorContext ctx) { }

	@Override public void enterSimple_formula_comparer(mccpropertyParser.Simple_formula_comparerContext ctx) { }
	@Override public void exitSimple_formula_comparer(mccpropertyParser.Simple_formula_comparerContext ctx) { }

	@Override public void enterIdentifier(mccpropertyParser.IdentifierContext ctx) { }
	@Override public void exitIdentifier(mccpropertyParser.IdentifierContext ctx) { }

	@Override public void enterSimple_formula_const(mccpropertyParser.Simple_formula_constContext ctx) { }
	@Override public void exitSimple_formula_const(mccpropertyParser.Simple_formula_constContext ctx) { }

	@Override public void enterX(mccpropertyParser.XContext ctx) { }
	@Override public void exitX(mccpropertyParser.XContext ctx) { }

	@Override public void enterEveryRule(ParserRuleContext ctx) { }
	@Override public void exitEveryRule(ParserRuleContext ctx) { }
	@Override public void visitTerminal(TerminalNode node) { }
	@Override public void visitErrorNode(ErrorNode node) { }
}